(function() {
  var x = new Date(42);
  inspect = function() {
    return x.getTime();
  };
})();
